Pointers in Far Memory
نویسندگان
چکیده
Effectively exploiting emerging far-memory technology requires consideration of operating on richly connected data outside the context parent process. Operating-system in development offers help by exposing abstractions such as memory objects and globally invariant pointers that can be traversed devices newly instantiated compute. Such ideas will allow applications running future heterogeneous distributed systems with disaggregated nodes to exploit near-memory processing for higher performance independently scale their compute resources lower cost.
منابع مشابه
Symbolic Memory with Pointers
We introduce a segment-offset-plane memory model for symbolic execution that supports symbolic pointers, allocations of memory blocks of symbolic sizes, and multi-writes. We further describe our efficient implementation of the model in a free open-source project Bugst. Experimental results provide empirical evidence that the implemented memory model effectively tackles the variable storage-refe...
متن کاملA Unified Memory Model for Pointers
One of the challenges in verifying systems level code is the low-level, untyped view of the machine state that operating systems have. We describe a way to faithfully formalise this view while at the same time providing an easy-to-use, abstract and typed view of memory where possible. We have used this formal memory model to verify parts of the virtual memory subsystem of the L4 high-performanc...
متن کاملCling: A Memory Allocator to Mitigate Dangling Pointers
Use-after-free vulnerabilities exploiting so-called dangling pointers to deallocated objects are just as dangerous as buffer overflows: they may enable arbitrary code execution. Unfortunately, state-of-the-art defenses against use-after-free vulnerabilities require compiler support, pervasive source code modifications, or incur high performance overheads. This paper presents and evaluates Cling...
متن کاملPointers versus Arithmetic in PRAMs
Manipulation of pointers in shared data structures is an important communication mechanism used in many parallel algorithms. Indeed, many fundamental algorithms do essentially nothing else. A Parallel Pointer Machine, (or PPM ) is a parallel model having pointers as its principal data type. PPMs have been characterized as PRAMs obeying two restrictions | rst, restricted arithmetic capabilities,...
متن کاملMontana Smart Pointers: They're Smart, and They're Pointers
The Montana C++ programming environment provides an API interface to the compiler, which allows the compilation process to be extended through programmer-supplied tools. This paper investigates the feasibility of that interface, using smart pointers as an example. Smart pointers are a powerful feature of the C++ language that enable a variety of applications, such as garbage collection, persist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Queue
سال: 2023
ISSN: ['1542-7730', '1542-7749']
DOI: https://doi.org/10.1145/3606029